1. La logica delle curve di livello
Una funzione di due variabili $f(x, y)$ associa un punto nel piano $\mathbb{R}^2$ a un'altezza $z$. Questo viene interpretato tramite curve di livello, definite come:
Le curve di livello di una funzione $f$ di due variabili sono le curve con equazioni $f(x, y) = k$, dove $k$ è una costante nel dominio di $f$.
2. Dimensioni superiori: superfici di livello
Una funzione di tre variabili assegna un numero $z = f(x, y, z)$ a una terna ordinata. Poiché non possiamo rappresentare graficamente in 4D, utilizziamo superfici di livello:
$$f(x, y, z) = k$$
Ad esempio, la funzione $f(x, y, z) = x^2 + y^2 + z^2$ produce una famiglia di sfere concentriche come superfici di livello. Al contrario, nota il Limite di rappresentazione: una sfera intera non può essere rappresentata da una singola funzione di $x$ e $y$. Dobbiamo usare definizioni a tratti come $g(x, y) = \sqrt{9 - x^2 - y^2}$ (emisfero superiore) e $h(x, y) = -\sqrt{9 - x^2 - y^2}$ (emisfero inferiore).
3. Strutture visive avanzate
La visualizzazione è la base per le operazioni fondamentali del calcolo multidimensionale:
- Linearizzazione: La funzione $L$ è la linearizzazione di $f$ nel punto $(a, b)$, e l'approssimazione $f(x, y) \approx L(x, y)$ è l'interpretazione geometrica del piano tangente.
- Derivate direzionali: Rappresentata come $D_{\mathbf{u}} f(x_0, y_0, z_0) = \lim_{h \to 0} \frac{f(x_0 + ha, y_0 + hb, z_0 + hc) - f(x_0, y_0, z_0)}{h}$. Questo è il "pendenza" della superficie nella direzione $\mathbf{u}$.
- Il gradiente ($\nabla f$): È dimostrato che $D_{\mathbf{u}} f = \nabla f \cdot \mathbf{u} = |\nabla f| \cos \theta$. Il gradiente è sempre perpendicolare alle curve di livello, puntando nella direzione di massima salita ($\theta=0$).
- Teorema di Clairaut: Per derivate parziali miste continue, $f_{xy} = f_{yx}$.
- Equazione di Laplace: Le superfici di temperatura in stato stazionario soddisfano $u_{xx} + u_{yy} = 0$.
- Ottimizzazione: I massimi e minimi spesso si verificano dove le curve di livello di $f$ sono tangenti alle curve di vincolo $g$, risolti tramite i moltiplicatori di Lagrange: $\nabla f = \lambda \nabla g$.